#include <stdio.h>
#include "libsrc.h"

int main(int argc, char *argv[])
{
	display();
	printf("Iadd=%d\n", addi32(403, 257));
	printf("Fadd=%f\n", addf32(403, 257));
	return 0;
}
